Monotone Insertion and Monotone Extension of Frame Homomorphisms
نویسندگان
چکیده
The purpose of this paper is to introduce monotonization in the setting of pointfree topology. More specifically, monotonically normal locales are characterized in terms of monotone insertion and monotone extensions theorems.
منابع مشابه
On duality for the modal
We consider the modal-calculus due to Kozen, which is a nitary modal logic with least and greatest xed points of monotone operators. We extend the existing duality between the category of modal algebras with homomorphisms and the category of descriptive modal frames with contractions to the case of having xed point operators. As a corollary, we obtain a completeness result for Kozen's original ...
متن کاملPosets with Projections and their Morphisms
This paper investigates function spaces of partially ordered sets with some directed family of projections. Given a xed directed index set (I;), we consider triples (D; ; (p i) i2I) consisting of a poset (D;) and a monotone net (p i) i2I of projections of D. We call them (I;)-indexed pop's (posets with projections). Our main purpose is to study structure preserving maps between (I;)-indexed pop...
متن کاملA SYSTEM OF GENERALIZED VARIATIONAL INCLUSIONS INVOLVING G-eta-MONOTONE MAPPINGS
We introduce a new concept of general $G$-$eta$-monotone operator generalizing the general $(H,eta)$-monotone operator cite{arvar2, arvar1}, general $H-$ monotone operator cite{xiahuang} in Banach spaces, and also generalizing $G$-$eta$-monotone operator cite{zhang}, $(A, eta)$-monotone operator cite{verma2}, $A$-monotone operator cite{verma0}, $(H, eta)$-monotone operator cite{fanghuang}...
متن کاملSome results on $L$-complete lattices
The paper deals with special types of $L$-ordered sets, $L$-fuzzy complete lattices, and fuzzy directed complete posets.First, a theorem for constructing monotone maps is proved, a characterization for monotone maps on an $L$-fuzzy complete lattice is obtained, and it's proved that if $f$ is a monotone map on an $L$-fuzzy complete lattice $(P;e)$, then the least fixpoint of $f$ is meet of a spe...
متن کاملWeak differentiability of solutions to SDEs with semi-monotone drifts
In this work we prove Malliavin differentiability for the solution to an SDE with locally Lipschitz and semi-monotone drift. To prove this formula, we construct a sequence of SDEs with globally Lipschitz drifts and show that the $p$-moments of their Malliavin derivatives are uniformly bounded.
متن کامل